Lawvere theory - PDFSEARCH.IO - Document Search Engine

Lawvere theory
Results: 23

#	Item
1	LAWVERE-TIERNEY SHEAVES IN ALGEBRAIC SET THEORY S. AWODEY, N. GAMBINO, P. L. LUMSDAINE, AND M. A. WARREN Abstract. We present a solution to the problem of defining a counterpart in Algebraic Set Theory of the constructio Add to Reading List Source URL: www.math.unipa.it - Date: 2009-02-01 11:26:38
2	Lawvere-Tierney Sheafification in Homotopy Type Theory Lawvere-Tierney Sheafification Add to Reading List Source URL: hott-uf.gforge.inria.fr Language: English - Date: 2015-07-02 06:06:44
3	OPEN PROBLEMS IN TOPOS THEORY Bill Lawvere 4 April 2009 For Martin Hyland and Peter Johnstone in honor of their sixtieth birthdays Here are seven problems that I have not yet been able to solve. Clarification on them wou Add to Reading List Source URL: cheng.staff.shef.ac.uk Language: English - Date: 2009-07-16 07:17:40
4	Intro First-order theories Higher-order theories Add to Reading List Source URL: www.lama.univ-savoie.fr Language: English - Date: 2010-09-16 03:38:56 Mathematics Logic Mathematical structures Mathematical logic Model theory Universal algebra Metalogic Lawvere theory Topology William Lawvere Structure
5	Richard Garner Macquarie University Finitary monads, Lawvere theories, and Cauchy completion There are two main ways in which a category theorist can articulate the notion of equational theory: using Lawvere theories, an Add to Reading List Source URL: web.science.mq.edu.au Language: English - Date: 2013-06-21 05:35:55
6	Philosophia Mathematica (III[removed]), 227–254. doi:[removed]phimat/nkr024 Advance Access publication August 24, 2011 Category Theory as an Autonomous Foundation† Add to Reading List Source URL: philmat.oxfordjournals.org Language: English Sheaf theory Topos Category of sets Set theory William Lawvere Class Sheaf Category Axiom of choice Mathematics Mathematical logic Category theory
7	Theory and Applications of Categories, Vol. 27, 2012, page 1 INTRODUCTION The International Category Theory Conference (CT2011) was held on the University of British Columbia campus in Vancouver, Canada, during July 17- Add to Reading List Source URL: www.emis.de Language: English - Date: 2012-03-20 15:04:00 William Lawvere Ronald Brown Category theory Category of sets Ieke Moerdijk Mathematics Michael Barr Higher category theory
8	Theory and Applications of Categories, Vol. 27, No. 12, 2013, pp. 242–262. LAWVERE COMPLETENESS AS A TOPOLOGICAL PROPERTY SERDAR SOZUBEK Abstract. Lawvere’s notion of completeness for quantale-enriched categories ha Add to Reading List Source URL: www.emis.de Language: English - Date: 2013-01-24 13:03:00 Order theory Sheaf theory Functor Adjoint functors Initial and terminal objects Grothendieck topology Natural transformation Sheaf Complete Heyting algebra Mathematics Category theory Abstract algebra
9	Reprints in Theory and Applications of Categories, No. 15, 2006, pp. 1–13. DIAGONAL ARGUMENTS AND CARTESIAN CLOSED CATEGORIES F. WILLIAM LAWVERE Add to Reading List Source URL: emis.library.cornell.edu Language: English - Date: 2006-02-24 14:27:12 Functors Sheaf theory Adjoint functors Cartesian closed category Topos Exponential object Hom functor Yoneda lemma Diagonal functor Category theory Mathematics Abstract algebra
10	LAWVERE-TIERNEY SHEAVES IN ALGEBRAIC SET THEORY S. AWODEY, N. GAMBINO, P. L. LUMSDAINE, AND M. A. WARREN Abstract. We present a solution to the problem of defining a counterpart in Algebraic Set Theory of the constructio Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Sheaf theory Topos theory Homological algebra Order theory Topos Sheaf Subobject classifier Categorical logic Adjoint functors Category theory Mathematics Abstract algebra

UPDATE